Electronic Books

Total Books: 1 - 20 /33
978-3-540-76928-6
AI 2007: Advances in Artificial Intelligence

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

Continue reading
978-3-540-76928-6
AI 2007: Advances in Artificial Intelligence

The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, ...

Continue reading
978-3-540-31882-8
Abstraction, Reformulation and Approximation

This volume contains the proceedings of the 6th Symposium on Abstraction, Reformulation and Approximation (SARA 2005). the ...

Continue reading
978-3-540-72665-4
Advances in Artificial Intelligence

This book cover agents, bioinformatics, classification, constraint satisfaction, data mining, knowledge representation and ...

Continue reading
978-3-540-72665-4
Advances in Artificial Intelligence

This book cover agents, bioinformatics, classification, constraint satisfaction, data mining, knowledge representation and ...

Continue reading
978-3-540-31952-8
Advances in Artificial Intelligence (vol. # 3501)

This volume contains the papers accepted and presented at 18th Conference of the Canadian Society for Computational Studies ...

Continue reading
978-3-540-88309-8
Advances in Artificial Intelligence - IBERAMIA 2008 : 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th Ibero-American Conference on Artificial Intelligence, IBERAMIA ...

Continue reading
978-3-540-68825-9
Advances in Artificial Intelligence : 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008 Windsor, Canada, May 28-30, 2008 Proceedings

This book constitutes the refereed proceedings of the 21st Conference of the Canadian Society for Computational Studies of ...

Continue reading
978-3-540-39730-4
Artificial Intelligence and Symbolic Computation

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...

Continue reading
978-3-540-87881-0
Artificial Intelligence: Theories, Models and Applications :5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held ...

Continue reading
978-1-4020-8122-4
Autonomy Oriented Computing

Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and ...

Continue reading
978-3-540-92800-3
Complexity of Constraints : An Overview of Current Research Themes

This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International ...

Continue reading
978-3-7643-7319-1
Constraint Satisfaction Techniques for Agent-Based Reasoning

Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...

Continue reading
978-1-84800-040-7
Distributed Search by Constrained Agents : Algorithms, Performance, Communication

This book presents a comprehensive discussion on the field of distributed constraints, its algorithms and its active research ...

Continue reading
978-3-540-33352-4
Engineering Self-Organising Systems (vol. # 3910)

This book contains recent work from a broad range of areas with the common theme of utilising self-organisation productively. ...

Continue reading
978-3-540-31996-2
Evolutionary Computation in Combinatorial Optimization (vol. # 3448)

This volume contains the proceedings of EvoCOP 2005, the 5th European Conference on Evolutionary Computation in Combinatorial ...

Continue reading
978-3-540-32041-8
Global Optimization and Constraint Satisfaction

Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life ...

Continue reading
978-3-540-75514-2
Hybrid Metaheuristics

This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Metaheuristics, HM 2007, held ...

Continue reading
978-3-540-32240-5
Integrated Formal Methods

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...

Continue reading
978-3-540-73210-5
Integrated Formal Methods

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...

Continue reading
Total Books: 1 - 20 /33